#ifndef __DPLLTASK__
#define __DPLLTASK__

typedef struct _dpll_pth_task{
    list_entry_t entry;
    int n_univar;
    variable* vars_set;
} dpll_task_t;

#define le2task(le, member)                         \
    to_struct((le),  dpll_task_t, member)
#endif